Section: Partnerships and Cooperations

European Initiatives

FP7 Projet

CRYSP

• Title:CRYSP: A Novel Framework for Collaboratively Building Cryptographically Secure Programs and their Proofs

• Type: IDEAS ()

• Instrument: ERC Starting Grant (Starting)

• Duration: November 2010 - October 2015

• Coordinator: Karthikeyan Bhargavan, INRIA (France)

• Abstract: The goal of this grant proposal is to develop a collaborative specification framework and to build incremental, modular, scalable verification techniques that enable a group of collaborating programmers to build an application and its security proof side-by-side. We propose to validate this framework by developing the first large-scale web application and full-featured cryptographic protocol libraries with formal proofs of security.